algebraic direct system